PaL diagrams: A linear diagram-based visual language
نویسندگان
چکیده
منابع مشابه
PaL Diagrams: A Linear Diagram-Based Visual Language
Linear diagrams have recently been shown to be more effective than Euler diagrams when used for set-based reasoning. However, unlike the growing corpus of knowledge about formal aspects of Euler and Venn diagrams, there has been no formalisation of linear diagrams. To fill this knowledge gap, we present and formalise Point and Line (PaL) diagrams, an extension of simple linear diagrams containi...
متن کاملA visual language for temporal specifications based on Spider diagrams
Spider Diagrams are a well-established visual language to specify sets, their relationships, and constraints on their cardinalities. However, they do not support evolution of specifications, where one wants to state that under certain circumstances a specification becomes invalid and a new one must be used, nor transformation of specifications, where one needs operators to manipulate specificat...
متن کاملPAL: Pertinence Action Language
The current document contains a brief description of a system for Reasoning about Actions and Change called PAL (Pertinence Action Language) which makes use of several reasoning properties extracted from a Temporal Expert Systems tool called Medtool.
متن کاملA Graphic Language Based on Timing Diagrams
We present a new graphic language which can serve, for instance, as models for VLSI and control systems. Its primitives are based on standard timing diagrams, and this is a great advantage over other formalisms since designers can rapidly master it. The semantics is rigorously defined in the formalism of the theory of automata on infinite words. Using this formalism, we are able to give a rathe...
متن کاملDiagram processing: Computing with diagrams
Of the set of behaviors that will be required of an autonomous artificially intelligent agent, a somewhat neglected member has been the ability to deal with diagrammatic information. We describe a theoretical and computational foundation for machine processing of certain forms of diagrammatic information and show its usefulness in enabling a system to draw inferences from diagrammatic informati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Visual Languages & Computing
سال: 2014
ISSN: 1045-926X
DOI: 10.1016/j.jvlc.2014.10.022